1. Proof, language, and interaction
المؤلف: / edited by Gordon Plotkin, Colin Stirling, and Mads Tofte
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: Computer science
رده :
QA
76
.
P699
2000
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)